(0 17 3)(1 20 9)(2 7 4)(5 19 6)(8 12 10)(11 15 13)(14 18 16)
ALLOWS (11/8)-SEQUENCE
1: (9 11 20)
(0 17 3)(1 20 15 13 11)(2 7 4)(5 19 6)(8 12 10)(9)(14 18 16)
2: (8 12 10)
(0 17 3)(1 20 15 13 11)(2 7 4)(5 19 6)(8)(9)(10)(12)(14 18 16)
3: (1 13 11)
(0 17 3)(1)(2 7 4)(5 19 6)(8)(9)(10)(11)(12)(13 20 15)(14 18 16)
4: (0 17 3)
(0)(1)(2 7 4)(3)(5 19 6)(8)(9)(10)(11)(12)(13 20 15)(14 18 16)(17)